<?php

function printMiniLecteur(){
	echo	'<div id="mini_lecteur_box">
    		Mini Lecteur
			</div>';
}

?>